《逻辑与哲学：现代逻辑导论》是迄今为止国际上最畅销的现代逻辑基础教程（没有“之一”）。该教程是面向那些需要关于逻辑学既严格而又亲切的全面介绍的学生面编写的。教程的第一部分和第二部分，通过伴以清晰阐释的循序渐进式训练，带领学生从语句逻辑通达带等词的一阶谓词逻辑。第三部分则覆盖逻辑畛域其他内容的比较稳固的范围，包括亚里士多德逻辑、归纳逻辑、模态逻辑、认知逻辑和道义逻辑。全书以清晰、准确的理论阐释见长，并辅以精心搜集、设计的例题、习题及部分习题解答，生动体现了逻辑学在哲学及相关学科中的应用价值，同时也通俗地阐释了当代逻辑与逻辑哲学领域的一些前沿问题。全书体现了“理论严整性”与“学生友好性”的完美结合，因而受到读者欢迎与好评。

《逻辑与哲学：现代逻辑导论》是迄今为止国际上最畅销的现代逻辑基础教程（没有“之一”）。该教程是面向那些需要关于逻辑学既严格而又亲切的全面介绍的学生面编写的。教程的第一部分和第二部分，通过伴以清晰阐释的循序渐进式训练，带领学生从语句逻辑通达带等词的一阶谓词逻辑。第三部分则覆盖逻辑畛域其他内容的比较稳固的范围，包括亚里士多德逻辑、归纳逻辑、模态逻辑、认知逻辑和道义逻辑。全书以清晰、准确的理论阐释见长，并辅以精心搜集、设计的例题、习题及部分习题解答，生动体现了逻辑学在哲学及相关学科中的应用价值，同时也通俗地阐释了当代逻辑与逻辑哲学领域的一些前沿问题。全书体现了“理论严整性”与“学生友好性”的完美结合，因而受到读者欢迎与好评。

本书的内容属数理逻辑的基础部分。前三章的主题是一阶逻辑：第一、二章分别讲述一阶语言的语法、语义；第三章介绍一个一阶推理系统，并证明了它的语义完全性。一阶逻辑是各种哲理逻辑（或称应用逻辑）的基础，它在算机科学、人工智能等领域也有着广泛的应用。这三章完整地介绍了一阶逻辑的中心内容。本书第四章包含了关于一阶逻辑的一些其它论题，以及模型论的一些基础内容。作者以“一阶理论”这一概念为中心组织这些材料，它们与前三章一起，可作为继续学习数理逻辑中的“四论”的基础。

本书的内容属数理逻辑的基础部分。前三章的主题是一阶逻辑：第一、二章分别讲述一阶语言的语法、语义；第三章介绍一个一阶推理系统，并证明了它的语义完全性。一阶逻辑是各种哲理逻辑（或称应用逻辑）的基础，它在算机科学、人工智能等领域也有着广泛的应用。这三章完整地介绍了一阶逻辑的中心内容。本书第四章包含了关于一阶逻辑的一些其它论题，以及模型论的一些基础内容。作者以“一阶理论”这一概念为中心组织这些材料，它们与前三章一起，可作为继续学习数理逻辑中的“四论”的基础。

《现代逻辑学讲义:数理逻辑+模态逻辑(套装共2册)》包括：《模态逻辑(现代逻辑学讲义)》、《数理逻辑(现代逻辑学讲义)》2本。 《模态逻辑》：模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础，作为一门课程，它是逻辑学专业的基础课之一。本讲义介绍了句子层次上（命题型的）模态逻辑最基本的内容。 本讲义内容多，知识面广，定理定义表达严谨，例题习题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。 《数理逻辑》：数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础，作为一门课程，它是逻辑学专业最重要的基础课。 数理逻辑分两大部分：句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。 本讲义内容丰富，知识面广，表达严谨，习题例题丰富，可作为高等学校逻辑学专业本科生、研究...(展开全部)

《现代逻辑学讲义:数理逻辑+模态逻辑(套装共2册)》包括：《模态逻辑(现代逻辑学讲义)》、《数理逻辑(现代逻辑学讲义)》2本。 《模态逻辑》：模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础，作为一门课程，它是逻辑学专业的基础课之一。本讲义介绍了句子层次上（命题型的）模态逻辑最基本的内容。 本讲义内容多，知识面广，定理定义表达严谨，例题习题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。 《数理逻辑》：数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础，作为一门课程，它是逻辑学专业最重要的基础课。 数理逻辑分两大部分：句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。 本讲义内容丰富，知识面广，表达严谨，习题例题丰富，可作为高等学校逻辑学专业本科生、研究...(展开全部)